/**
 * @name TrueFalseSuccessors Test
 * @description Tests true/false successors
 * @kind table
 * @problem.severity warning
 */

import python

from ControlFlowNode p, ControlFlowNode s
where
    s = p.getAnExceptionalSuccessor()
    or
    // Add fake edges for node that raise out of scope
    p.isExceptionalExit(_) and s = p.getScope().getEntryNode()
select p.getLocation().getFile().getShortName(), p.getLocation().getStartLine(), p, s.toString()
